Stratified sampling of execution traces: Execution phases serving as strata
نویسندگان
چکیده
منابع مشابه
Stratified sampling of execution traces: Execution phases serving as strata
The understanding of the behavioural aspects of a software system is an important enabler for many reverse engineering activities. The behaviour of software is typically represented in the form of execution traces. Traces, however, can be overwhelmingly large. To reduce their size, sampling techniques, especially the ones based on random sampling, have been extensively used. Random sampling, ho...
متن کاملValidating Distributed System Test Execution Correctness via System Execution Traces
Effective validation of quality-of-service (QoS) properties (such as event prioritization, latency, and throughput) in distributed real-time and embedded (DRE) system requires evaluating system capabilities in representative execution environments. This validation process typically involves executing DRE systems composed of many software components on many hardware components connected via netw...
متن کاملExecution traces and reduction sequences
In this note, we defend that this notion of algorithm as a set of execution traces is somewhat independent of the notion of abstract state machine—although it fits very well with it. It can be reformulated in the more general framework of small step operational semantics [8]. Reformulating this idea in the context of small step operational semantics permits to define a notion of execution trace...
متن کاملVisualizing Execution Traces in RISCAL∗
We report on initial results concerning the visualization of execution traces of algorithms that are formally specified andmodeled in the RISCAlgorithmLanguage (RISCAL). These algorithms are executed and visualized in the associated software system which also validates their correctness by checking the satisfaction of the formal contracts. This work has been stimulated by corresponding visualiz...
متن کاملVisualizing Similarities in Execution Traces
The analysis of execution traces is a common practice in the context of software understanding. A major issue during this task is scalability, as the massive amounts of data often make the comprehension process difficult. A significant portion of this data overload can be attributed to repetitions that are caused by, for example, iterations in the software’s source code. In this position paper,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2013
ISSN: 0167-6423
DOI: 10.1016/j.scico.2012.11.002